Verbum

ЛЕ́ЙБНІЦА ФО́РМУЛА,

формула для вызначэння вытворнай n-га парадку ад здабытку дзвюх функцый праз вытворныя сумножнікаў. Прыведзена Г.В.Лейбніцам у лісце да І.Бернулі (1695).

Калі функцыі u(x) і v(x) у пункце х маюць вытворныя да n-га парадку ўключна, то іх здабытак у тым жа пункце мае вытворныя тых жа парадкаў, якія паводле Л.ф. маюць выгляд: $\frac{d^n}{d{x}^n}\text{(}uv\text{)}=\frac{d^{n}u}{d{x}^n}v+c_n^1\frac{d^{\mathrm{n-1}}u}{d{x}^{\mathrm{n-1}}}\frac{dv}{dx}+c_n^2\frac{d^{\mathrm{n-2}}u}{d{x}^{\mathrm{n-2}}}\frac{d^{2}v}{d{x}^2}+\text{...}+c_n^{\mathrm{n-1}}\frac{du}{dx}\frac{d^{\mathrm{n-1}}v}{d{x}^{\mathrm{n-1}}}+u\frac{d^{n}v}{d{x}^n}$ , дзе $c_n^{\mathrm{k}}$ — бінаміяльныя каэфіцыенты. Выкарыстоўваецца пры вызначэнні вытворных вышэйшых парадкаў. Гл. таксама Дыферэнцыяльнае злічэнне.

т. 9, с. 189